Wen-tsun Wu (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (7)
Most Popular
List
- List
- Table

1

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Year:

2003

Language:

english

File:

PDF, 3.49 MB

0 / 0

english, 2003

2

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-Tsün (auth.), William McCune (eds.)

Year:

1997

Language:

english

File:

PDF, 8.12 MB

0 / 0

english, 1997

3

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Year:

2003

Language:

english

File:

PDF, 4.29 MB

0 / 0

english, 2003

4

Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

Springer-Verlag Wien

Dr. Wen-tsün Wu (auth.)

Year:

1994

Language:

english

File:

PDF, 4.87 MB

0 / 0

english, 1994

5

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Year:

2005

Language:

english

File:

PDF, 6.38 MB

0 / 0

english, 2005

6

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Year:

2005

Language:

english

File:

PDF, 5.21 MB

0 / 0

english, 2005

7

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-tsun (auth.), Ding-Zhu Du, Xiang-Sun Zhang (eds.)

Year:

1994

Language:

english

File:

DJVU, 6.07 MB

0 / 0

english, 1994